eclor($a$;$b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr(inr(inr(inl($\langle$$a$$,\,$$b$$\rangle$))))